Поиск в словарях
Искать во всех

Философская энциклопедия - дедукция

 

Дедукция

дедукция
(от лат. deductio выведение) логический вывод (следование), обеспечивающий истинность заключения на основании истинности посылок и соблюдения правильной формы рассуждения. Посылками Д. выступают аксиомы или просто гипотезы, имеющие характер общих утверждений, а заключениями следствия из посылок (например, теоремы). Если посылки дедуктивного рассуждения истинны, то истинны и его следствия, т. о. Д. выступает в качестве базового средства доказательства. Науки, содержание которых возникает как следствие некоторых общих принципов, постулатов, принято называть дедуктивными, среди них математика, теоретическая механика и др.

Под дедуктивной логикой в традиционной формальной логике понималась прежде всего Аристотелева логика, стержнем которой является учение о силлогизме. Современное понимание дедуктивного рассуждения шире, т. к. логические исследования пополнились анализом несиллогистических дедуктивных рассуждений. В современной математической логике основными системами дедуктивной логики являются логика высказываний и логика предикатов. 

А. Г. Кислое

Рейтинг статьи:
Комментарии:

См. в других словарях

1.
  (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению. Д. как умозаключению, опирающемуся на логический закон и с необходимостью дающему истинное заключение из истинных посылок, противопоставляется индукция умозаключение, не опирающееся на закон логики  и ведущее от истинных посылок к вероятному, или проблематичному, заключению. Дедуктивными являются, напр., умозаключения: Если лед нагревается, он тает. Лед нагревается. Лед тает. Всякий газ летуч. Неон газ. Неон летуч. Черта, отделяющая посылки от заключения, стоит вместо слова "следовательно". Примерами индукции могут служить рассуждения: Канада республика; США республика. Канада и США североамериканские государства. Все североамериканские государства являются республиками. Италия республика; Португалия республика; Финляндия республика; Франция республика. Италия, Португалия, Финляндия, Франция западноевропейские...
Словарь по логике
2.
  (от лат. deductio — выведение) — переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению. Д. как умозаключению, опирающемуся на логический закон и с необходимостью дающему истинное заключение из истинных посылок, противопоставляется индукция — умозаключение, не опирающееся на закон логики  и ведущее от истинных посылок к вероятному, или проблематичному, заключению. Дедуктивными являются, напр., умозаключения: Если лед нагревается, он тает. Лед нагревается. Лед тает. Черта, отделяющая посылки от заключения, стоит вместо слова “следовательно”. Примерами индукции могут служить рассуждения: Бразилия — республика; Аргентина — республика. Бразилия и Аргентина — южноамериканские государства. Все южноамериканские государства являются республиками. Италия — республика; Португалия — республика; Финляндия — республика; Франция — республика. Италия, Португалия, Финляндия, Франция —западноевропейские страны. ...
Альтернативный философский словарь
3.
  (от лат. deductio выведение), переход от общего к частному; в более спец. смысле термин « Д.» обозначает процесс логич. вывода, т. е. перехода по тем или иным правилам логики от нек-рых данных предложенийпосылок к их следствиям (заключениям). Термин «Д.» употребляется и для обозначения конкретных выводов следствий из посылок (т.е. как синоним термина «вывод» в одном из его значений), и как родовое наименование общей теории построений правильных выводов (умозаключении). Науки, предложения к-рых преим., получаются как следствия нек-рых общих принципов, постулатов, аксиом, принято наз. дедуктивными (математика, теоретич. механика, нек-рые разделы физики и др.), а аксиоматический метод,  посредством к-рого производятся выводы этих частных предложений, часто наз. аксиоматикодедуктивным. Изучение Д. составляет гл. задачу логики; иногда формальную логику даже определяют как теорию Д., хотя логика далеко не единств, наука, изучающая методы Д.: психология изучает реализацию Д. в процессе реального индивидуального мышления, а теория познания  как один из осн. (наряду с другими, в частности различными формами индукции) методов науч....
Советский философский словарь
4.
  (от лат. deductio выведение) выведение частного из общего; путь мышления, который ведет от общего к частному, от общего положения к особенному. Общей формой дедукции является при этом силлогизм (см. Умозаключение), посылки которого образует указанное общее положение, а выводы соответствующее частное суждение.  Дедукция, или дедуктивный метод,  применяется только в естественных науках, особенно в математике. Так, напр., из аксиомы Гильберта ("две отличные друг от друга точки А к В всегда определяют прямую а") дедуктивным путем можно сделать вывод, что кратчайшей линией между двумя точками является соединяющая эти две точки прямая. Противоположностью дедукции является индукция (см. также Доказательство). Трансцендентальной дедукцией Кант называет объяснение того, каким образом априорные понятия могут относиться к предметам, т.е. каким образом допонятийное восприятие может оформиться в понятийный опыт (познание). Трансцендентальная дедукция отличается от эмпирической, которая указывает лишь на способ образования понятия благодаря опыту и рефлексии. ...
Философский энциклопедический словарь
5.
  (лат. deductio — выведение) — один из осн. способов рассуждения (умозаключения) и методов исследования. Под Д. в широком смысле понимается любой вывод вообще, в более специфическом и наиболее употребительном смысле — доказательство или выведение утверждения (следствия) из одного или нескольких др. утверждений (посылок) на основе законов логики, носящее достоверный характер. В случае дедуктивного вывода следствия содержатся в посылках в скрытом виде, и они должны быть извлечены из них в результате применения методов логического анализа. Совр. понятие о Д. является далеко идущим обобщением аристотелевского истолкования Д. как вывода от общего к частному и показывает его односторонность. ...
Философский энциклопедический словарь

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины